- consistency proof
- доказательство непротиворечивости
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
consistency proof
Смотреть что такое "consistency proof" в других словарях:
Gentzen's consistency proof — Gentzen s theoremIn 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods. Gentzen s proof shows much more than merely that first order arithmetic is consistent. Gentzen showed that the consistency of… … Wikipedia
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof — Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof against all… … The Collaborative International Dictionary of English
Proof charge — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… … The Collaborative International Dictionary of English
Proof impression — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… … The Collaborative International Dictionary of English
Proof load — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… … The Collaborative International Dictionary of English
Proof sheet — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… … The Collaborative International Dictionary of English
Proof spirit — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… … The Collaborative International Dictionary of English
Proof staff — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… … The Collaborative International Dictionary of English
Proof stick — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… … The Collaborative International Dictionary of English
